Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
361	BRICS Basic Research in Computer Science BRICS RS-00-3 Larsson et al.: On Memory-Block Traversal Problems in Model Checking Timed Systems Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-02-16 08:22:13
362	Branching-Time Model Checking of One-Counter Processes and Timed Automata ⋆ Stefan G¨oller1 and Markus Lohrey2,⋆⋆ 1 Universit¨at Bremen, Fachbereich Mathematik und Informatik, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-06-18 14:25:02
363	Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking Roberto Sebastiani1 , Stefano Tonetta2⋆ , and Moshe Y. Vardi3 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-08-02 18:12:22
364	The Bedwyr system for model checking over syntactic expressions David Baelde1 , Andrew Gacek2 , Dale Miller1 , Gopalan Nadathur2 , and Alwen Tiu3 ´ INRIA & LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-11 03:02:25
365	Model Checking on Trees with Path Equivalences⋆ ˇ Rajeev Alur, Pavol Cern´ y, and Swarat Chaudhuri University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-08-06 16:40:04
366	Universita degli Studi di Roma \La Sapienza" Dottorato di Ricerca in Ingegneria Informatica XII Ciclo { 1999 Advances in Planning as Model Checking Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-06-27 16:56:25
367	SOFTWARE MODEL CHECKING FOR CONFIDENTIALITY ˇ y Pavol Cern´ A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-07-28 16:31:05
368	Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-11-26 20:31:33
369	Model Checking of Linearizability of Concurrent List Implementations? ˇ Pavol Cern´ y1 , Arjun Radhakrishna1 , Damien Zufferey1 , Swarat Chaudhuri2 , and Rajeev Alur3 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-04-19 09:32:20
370	Principles: Model Checking Add to Reading List Source URL: www.stats.ox.ac.uk Language: English - Date: 2013-11-04 10:48:07

UPDATE